Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
591	Session Types Revisited Ornela Dardha Elena Giachino Davide Sangiorgi Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2013-12-29 19:43:45 Applied mathematics Theoretical computer science Data types Polymorphism Lambda calculus Π-calculus Type system Subtype polymorphism System F Mathematics Type theory Software engineering
592	Luminate Web Services Release 1.25 Version 1.25 of Luminate Web Services is now available. Version 1.25 is a patch to address bugs, to improve support for calendar events and groups, and to upgrade obsolete dependencies. Add to Reading List Source URL: open.convio.com Language: English - Date: 2015-06-12 16:52:52 Computer programming Enumerated type Type theory Enumeration Record C Web Services Description Language This Computing Software engineering Data types
593	BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-08 09:02:48 Functional languages Type theory Data types Lambda calculus Logic in computer science Type system ML OCaml Partial evaluation Software engineering Programming language theory Computing
594	Languages as Libraries Sam Tobin-Hochstadt Vincent St-Amour Ryan Culpepper Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Functional languages Type theory Source code Lisp programming language Racket Macro Programming language Type safety Type system Software engineering Computing Computer programming
595	Variables Statistical problem: Variables have a name and a value. Occupancy can be viewed as a measure of congestion. Add to Reading List Source URL: www.stat.berkeley.edu Language: English - Date: 2005-09-06 23:22:10 Mathematics Variables Type theory
596	INSTRUCTIONS FOR PRODUCING A CAMERA-READY MANUSCRIPT A.B. AUTHOR Department of Physics, Theoretical Physics, 1 Keble Road, Oxford OX1 3NP, England This is where the abstract should be placed. It should consist of one pa Add to Reading List Source URL: moriond.in2p3.fr Language: English - Date: 2015-04-01 17:53:21 Dependently typed programming Philosophy of computer science Type theory Proof theory Ordinal numbers Curry–Howard correspondence
597	Recursive Object-Oriented Modules Keiko Nakata1 1 Akira Ito2 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2004-09-30 06:08:39 Algebraic structures Module theory Homological algebra Algebraic geometry Module D-module Flat module Type system Abstract algebra Algebra Mathematics
598	Delft University of Technology Software Engineering Research Group Technical Report Series Fusing a Transformation Language with an Open Compiler Add to Reading List Source URL: swerl.tudelft.nl Language: English - Date: 2008-03-31 08:21:05 Programming language implementation Transformation languages Program transformation ASF+SDF Meta Environment Compiler Principal component analysis Domain-specific language S0 Type system Computing Software engineering Programming language theory
599	BRICS Basic Research in Computer Science BRICS RSFridlender & Indrika: Do we Need Dependent Types? Do we Need Dependent Types? Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-03-27 17:26:58 Higher-order functions Functional programming Lambda calculus Type theory Map Haskell AS3 Type system Generic programming Computing Software engineering Declarative programming
600	Haskell Cheat Sheet Strings This cheat sheet lays out the fundamental elements of the Haskell language: syntax, keywords and other elements. It is presented as both an executable Haskell file and a printable document. Add to Reading List Source URL: cheatsheet.codeslower.com Language: English - Date: 2013-07-22 18:47:53 Type theory Functional programming Data types Subroutines Algebraic data type Pattern matching Anonymous function Monad Main function Software engineering Computing Computer programming

UPDATE